1. A Concise Introduction to Mathematical Logic

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.

2. A formalization of set theory without variables /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)

رده :
QA248
.
T37
1987

3. An introduction to logical theory /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Language and logic, Textbooks.,Logic, Textbooks.,Langage et logique, Manuels d'enseignement supérieur.,Logique, Manuels d'enseignement supérieur.,Language and logic.,Logic.,Logik

رده :
BC15
.
Y36
2013

4. Basic Questions on Truth

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Genetic epistemology.,Logic.,Philosophy (General)

رده :
BC171
.
B973
2000

5. Computation, Logic, Philosophy :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Information theory.,Mathematics.,Technology -- Philosophy.

6. Computational artifacts :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.

رده :
QA76
.
167

7. Computational semantics with functional programming /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik

رده :
QA76
.
7
.
E43
2010eb

8. Constitution d'Athenes..

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)

موضوع : Aristotle. Categoriae.,Predicate (Logic),Metaphysics --Early works to 1800.,Philosophy, Medieval

9. Essays in the philosophy and history of logic and mathematics /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Cantor, Georg,1845-1918,Hilbert, David,1862-1943,Hoene-Wroński, Józef Maria,1776-1853,Logic-- History,Logic, Symbolic and mathematical,Mathematics-- Philosophy,Mathematics-- Philosophy-- History-- 20th century

10. Formal semantics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Semantics (Philosophy),Semantics.

رده :
P325
.
C28
1993

11. Formation of R.G. Collingwood's early critique of 'realism'

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

12. Formation of R.G. Collingwood's early critique of 'realism'

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

13. From Discourse to Logic.

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic.

14. Glauben, Wissen und Wahrscheinlichkeit

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Proposition )Logic(,Epistemics,Belief and doubt,Paradox,Probabilities,Predicate )Logic(

15. How things are: studies in predication and the history of philosophy and science

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Predicate )Logic(-- History,Congresses ، Ontology-- History

رده :
BC
181
.
H58
1984

16. In defence of objective Bayesianism /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Bayesian statistical decision theory.,Knowledge, Theory of.,Reasoning-- Mathematical models.,31.02 philosophy and theory of mathematics.,31.70 probability.,Bayes-Entscheidungstheorie.,Bayesian method.,Bayesian statistical decision theory.,Bayes-Verfahren,Bayes-Verfahren.,Beslutsteori-- matematisk statistik.,Decision theory.,épistémologie-- théorie de Bayes.,Epistemology.,Knowledge, Theory of.,Objektivierung,Objektivität.,Reasoning-- Mathematical models.

رده :
QA279
.
5
.
W5475
2010

17. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)

رده :
BC199
.
M6
B936
1976

18. Isagoge

پدیدآورنده :

کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)

موضوع : Aristotle. - Categories,Predicate (Logic),Metaphysics - Early works to 1800,Philosophy - Medieval,ارسطو، ۲۲۳ - ۴۸۳ ؟ ق. م. - مقولات

رده :
B697
‬ .
I73W35
‬

19. Logic, Language and Reasoning

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).

20. Logic and philosophy :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic.,Philosophy.,Predicate (Logic)

رده :
BC108
.
H27
2010